<?xml version='1.0'?>

<gl_extension name="GL_INTEL_texture_scissor" reg_no="135">
</gl_extension>
